Перевод: с русского на все языки

со всех языков на русский

мощность логического вывода

См. также в других словарях:

  • Апории Зенона — …   Википедия

  • Индия — (на языке хинди Бхарат)         официальное название Республика Индия.          I. Общие сведения          И. государство в Южной Азии, в бассейне Индийского океана.          И. находится на важнейших морских и воздушных коммуникациях,… …   Большая советская энциклопедия

  • Сколем Туральф Альберт — Сколем, Скулем (Skolem) Туральф Альберт (23.5.1887, Сансвер, ‒ 23.3.1963, Осло), норвежский математик, логик и философ. Окончил университет в Осло (1913), профессор там же (1938), член Норвежской АН (1938). Работы по теории чисел, различным… …   Большая советская энциклопедия

  • Сколем —         Скулем (Skolem) Туральф Альберт (23.5.1887, Сансвер, 23.3.1963, Осло), норвежский математик, логик и философ. Окончил университет в Осло (1913), профессор там же (1938), член Норвежской АН (1938). Работы по теории чисел, различным… …   Большая советская энциклопедия

  • Электроника-60 — Тип Промышленная микроЭВМ Выпущен ? Выпускался по …   Википедия

  • определение — 2.7 определение: Процесс выполнения серии операций, регламентированных в документе на метод испытаний, в результате выполнения которых получают единичное значение. Источник …   Словарь-справочник терминов нормативно-технической документации

  • ГЁДЕЛЬ — (Gödel) Курт (1906 1978) математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях… …   История Философии: Энциклопедия

  • ГЁДЕЛЬ Курт (1906 - 1978) — математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях математической логики, как теория… …   История Философии: Энциклопедия

  • Электроника 60 — Тип Промышленная микроЭВМ Выпущен ? Выпускался по ? Процессор М2 Память 4К слов при поставке, максимально адресуемая 32К сл …   Википедия

  • Commodore 64 — Тип Персональный компьютер Выпущен Август 1982 …   Википедия

  • ЛОГИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО — последовательность высказываний, часть которых является ее исходными утверждениями аксиомами, а все другие выводятся из них по четко указанным правилам вывода (основные из них дедукция, математическая индукция, правило подстановки) или вводятся с …   Философия науки: Словарь основных терминов

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»